Model transformation - PDFSEARCH.IO - Document Search Engine

Model transformation
Results: 464

#	Item
21	IERI Monograph Series Issues and Methodologies in Large-Scale Assessments Add to Reading List Source URL: ierinstitute.org Language: English - Date: 2012-09-26 10:10:15 Statistics Data analysis Statistical models Analysis of variance Covariance and correlation Estimation theory Variance Covariance Multilevel model Data transformation Random effects model Estimator
22	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
23	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
24	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
25	Geometry & Topology–On the homotopy groups of symmetric spectra S TEFAN S CHWEDE Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2008-06-05 07:37:48 Homotopy theory Spectrum Adjoint functors Model category Homotopy category Symmetric spectrum Cohomology Stable homotopy theory Functor Homotopy Natural transformation Symmetric group
26	Limitations of Automating Model Migration in Response to Metamodel Adaptation Markus Herrmannsdoerfer and Daniel Ratiu Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Systems engineering ISO standards Model-driven architecture Metamodeling Domain-specific modeling Object Management Group Object Process Methodology Model transformation Generic Eclipse Modeling System Meta-Object Facility
27	FinTech and the Push for Transformation Readiness by Michael Heffner, Global Industry Practice Leader, Appian Corporation The future has always been a moving target. It’s like a hockey game, where the puck moves in eve Add to Reading List Source URL: www.ciosummits.com Language: English - Date: 2016-03-21 09:31:33 Management Financial services Customer experience management Marketing Financial technology Customer experience Service Business model Strategic management Social media in the financial services sector
28	333 World Economic Forum White Paper Digital Transformation of Industries: In collaboration with Accenture Digital Enterprise Add to Reading List Source URL: reports.weforum.org Language: English - Date: 2016-01-14 19:39:41 Digital media Digital divide Postmodernism Marketing Information technology Digital literacy Digital content Business model Kodak Digital native Big data Information Age
29	Microsoft Word - Doct_LNCS_20081125_Final.doc Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2009-04-02 04:59:48 Unified Modeling Language Metamodeling Scientific modeling Software design Object Process Methodology Transformation language MetaEdit+ VIATRA Model-driven architecture Generic Eclipse Modeling System
30	Managing model conflicts in distributed development ? A. Cicchetti, D. Di Ruscio, and A. Pierantonio Universit`a degli Studi dell’Aquila, Dipartimento di Informatica via Vetoio, Coppito I-67010, L’Aquila, Italy {cicc Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Unified Modeling Language Metamodeling Scientific modeling Software design Object Process Methodology TRAK ATLAS Transformation Language